Labels:text | screenshot | font OCR: 80 column mode left margin This is a normal-sized line#3#4#6#5 This is a Double-width line#5#3#4#6 #6#5#4#3This is a Double-width-and-height line #6#5#3#4This is a Double-width-and-height line #6#5#4#3This is another such line #6#5#3#4This is another such line A left margin This is not#5 double-width line Push <RETURN>